Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
481	PREDICTING WHEN TO LAUGH WITH STRUCTURED CLASSIFICATION Bilal Piot1 , Olivier Pietquin2 , Matthieu Geist1 1 SUPELEC IMS-MaLIS research group and UMIGeorgiaTech - CNRS) 2 Add to Reading List Source URL: www.metz.supelec.fr Language: English - Date: 2014-07-15 03:12:51 Theoretical computer science Machine learning Learning Statistical classification Support vector machine Laughter K-nearest neighbors algorithm Algorithm Computational learning theory Artificial neural network NP Reinforcement learning
482	Leveraging Algorithms for DATA-POP ALLIANCE Positive Disruption: Add to Reading List Source URL: datapopalliance.org Language: English - Date: 2016-08-01 11:42:29 Machine learning Cybernetics Algorithm Mathematical logic Theoretical computer science Big data Recommender system Statistical classification Program optimization
483	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
484	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Static program analysis Theoretical computer science Safety Computer security Safety case KeY Hoare logic Formal verification Proof-carrying code Hazard analysis Loop invariant
485	Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 15:51:54 Theoretical computer science Symposium on Principles of Programming Languages SIGPLAN ACM SIGACT Gradual typing Lambda calculus
486	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
487	UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO CARNEGIE MELLON UNIVERSITY The Geometry of Constrained Structured Prediction: Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2012-07-25 04:27:02 Machine learning Structured prediction Algorithm Mathematical logic Theoretical computer science Conditional random field Support vector machine Graphical model
488	Compiling the π-calculus into a Multithreaded Typed Assembly Language Tiago Cogumbreiro Joint work with Francisco Martins Vasco T. Vasconcelos Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Theoretical computer science Process calculi -calculus Processor register Thread
489	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
490	A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops Andreas Ibing, Alexandra Mai Chair for IT Security TU M¨unchen Boltzmannstrasse 3, 85748 Garching, Germany {ibing,mai}@sec.in.tum.de Add to Reading List Source URL: www.sec.in.tum.de Language: English - Date: 2016-02-01 08:36:29 Recursion Theoretical computer science Formal methods Compiler optimizations Infinite loop Satisfiability modulo theories Control flow For loop Algorithm Termination analysis Loop unrolling Satisfiability

UPDATE